põhieeldus 1(n), põhipostulaat 1(n)

peamine eeltingimus