Prove_mayans_right