theorem :: XPRIMES2:75

canceled;