Obscure methods of proof #2