Phyto-C - Proofs