theorem :: XPRIMES2:6674

canceled;