Text this: Short proofs of theorems of Lekkerkerker and Ballieu