theorem :: XPRIMES2:6042

canceled;