PROOF FOR NOYON