theorem :: XPRIMES2:1232

canceled;