Template:Proposition

Proposition ({{{1}}}):

{{{2}}}