theorem :: XPRIMES2:1412

canceled;