https://9lib.org/document/zgw60dd7-zależność-symetrii-leżenia-rozmaitych-układach-aksjomatów-geometrii-euklidesowej.html