Proof by obviousness