theorem :: XPRIMES2:6606

canceled;