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