Teorema 8

(postulato)