theorem :: XPRIMES2:327

canceled;