Template:Inputfactproof2

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

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

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

{{:{{{1}}}/Proof2}}

$\Box$