theorem :: XPRIMES2:6748

canceled;