theorem :: XPRIMES2:6052

canceled;