ProofWiki:Jokes/Proof Methods/Rule 34