These two phrases are logically connected, and the proof of the statement, 'if shi exists, hi exists' is the statement, 'if there is no shi, there is no hi.'
この二つは論理的に結び付けられており、「此があれば彼がある」ということの証明が、「此がなければ彼がない。」ということなのである。