theorem :: XPRIMES2:1392

canceled;