theorem :: XPRIMES2:7066

canceled;