theorem :: XPRIMES2:6205

canceled;