Template:Inputfactproofexercise

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

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

Proof

See [[{{{1}}}/Proof/Exercise|exercise]].

$\Box$