theorem :: XPRIMES2:127

canceled;