theorem :: XPRIMES2:2978

canceled;