*was zu beweisen war: qed*