theorem :: XPRIMES2:1182

canceled;