Proof by assertion