Ninguna expresión es una fórmula del Cálculo sino en virtud de I, II, III.