theorem :: XPRIMES2:1070

canceled;