PanLinx
русский
rus-000
геометрически доказуемый
English
eng-000
geometrically provable
PanLex
