theorem :: XPRIMES2:68

canceled;