theorem :: XPRIMES2:4066

canceled;