theorem :: XPRIMES1:248

canceled;