Tarvittava määrä tietoa nollatiedon todistusten ymmärtämiseen: enemmän kuin nolla.