Template:Inputfactprooftrivial

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

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

Proof

This is trivial.

$\Box$