Obscure methods of proof #1