Template:Inputfactproof

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

{{:{{{1}}}|extra1=||extra2=|}}

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

{{:{{{1}}}/Proof|extra1=||extra2=}}

$\Box$