Ich fasse also im Satze „~(x,y) ∙ (x + y)² = x² + y²” die Variable grundverschieden auf, von der Variablen in „(x,y,z,n) xn + yn ≠ zn”.