Template:Inputfactproofhere

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

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

[[{{{1}}}/Proof|Proof]]

{{{Proof text}}}

$\Box$