theorem :: XPRIMES2:7978

canceled;