Here is my entry ! Proofs in thread

0 6