theorem :: XPRIMES2:3066

canceled;