Proof that Cantor list/e is fair