theorem :: XPRIMES2:1287

canceled;