In diesem Falle hätte natürlich auch die Frage keinen Sinn, ob fx = φx allgemein aus den Regeln hervorgeht oder nicht.