First proofs of pi case (1)

Tags: