theorem :: XPRIMES2:6010

canceled;