Origami/ Publications/ A note on Buell’s Theorem on length four Büchi sequences/ A note on Buell’s Theorem on length four Büchi sequences