theorem :: XPRIMES2:248

canceled;