theorem :: XPRIMES2:1210

canceled;