theorem :: XPRIMES2:1151

canceled;