Postulat n [ VSA ]

postulat m [ VSA ]