Claytor-Noone_complete _Proofs