theorem :: XPRIMES2:1177

canceled;