PanLinx: prove formally

English	eng-000
prove formally

русский	rus-000	доказывать формально
русский	rus-000	формально доказывать

PanLex-PanLinx