Team 2 - Proofs - RYOMAX