theorem :: XPRIMES2:1214

canceled;