theorem :: XPRIMES2:65

canceled;