theorem :: XPRIMES2:126

canceled;