— Quod demomtrandum erit.