Template:Inputfactproofnotpresented

[[{{{1}}}|{{{2}}}]]

{{:{{{1}}}|}}

Proof

This proof was not presented in the lecture.

$\Box$