theorem :: XPRIMES2:6675

canceled;