theorem :: XPRIMES2:1383

canceled;