theorem :: XPRIMES2:194

canceled;