theorem :: XPRIMES2:765

canceled;