theorem :: XPRIMES2:761

canceled;