https://9dok.net/document/y8g7ww12-a-p-fo-abgeschlossene-formel-skolemform-gleichheit-vorkommt.html