PanLinx
русский
rus-000
квазиисходное утверждение
English
eng-000
quasiprime statement
PanLex