Reword the conclusion from theorem A.3.4 for precision.
Reword the conclusion from theorem A.3.4 for precision.

Signed-off-by: Daira Hopwood <cd7d43d5556a38ce626d53826fddc46adc597539@jacaranda.org>

zcash/zips,zcash/zips,zcash/zips,zcash/zips