Obscure methods of proof #3