theorem :: XPRIMES2:1190

canceled;