Initial Proofs - I - RYOMAX