theorem :: XPRIMES2:6074

canceled;