theorem :: XPRIMES2:1066

canceled;