theorem :: XPRIMES2:6610

canceled;