This is what was to be proved.
Just seda oligi tarvis tõestada.