theorem :: XPRIMES2:1120

canceled;