theorem :: XPRIMES2:1700

canceled;