https://9dok.net/document/yev17v57-exercise-points-let-satisfiable-sentences-signatureτ-infinite-model.html