theorem :: XPRIMES1:1705

canceled;