take the Polish-arity-function of the Polish-language ; :: thesis: the Polish-arity-function of the Polish-language is Polish-arity-like
thus the Polish-arity-function of the Polish-language is Polish-arity-like ; :: thesis: verum