theorem :: XPRIMES2:1705

canceled;