Obscure methods of proof #4