theorem :: XPRIMES2:1703

canceled;