Template:Inputfactproof

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

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

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

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

$\Box$