More formally, the only permissible constructions are those granted by Euclid's first three postulates.
Формально кажучи, єдиними дозволеними конструкціями є такі, що надані трьома першими евклідовими постулатами.