theorem :: XPRIMES2:6892

canceled;