Exercism exercises: Mathematical proofs.