Proof by simplification