závěrečná formule důkazu. (<span class="linked_term" onclick="showTermNamed('Malina, Jaroslav A.')">Jaroslav Malina</span>)