theorem :: XPRIMES2:6196

canceled;