theorem :: XPRIMES2:6690

canceled;