https://shkola.obozrevatel.com/books/10klass/algebra/1692/2--elementi-matematichnoi-logiki/36/