Proof that boxy list/e is fair