Количество знаний, необходимых для понимания нулевых доказательств: больше нуля.