theorem :: XPRIMES2:294

canceled;