proofs

MobyLives