Rabon - Proofs