theorem :: XPRIMES2:748

canceled;