theorem :: XPRIMES2:6195

canceled;