Proposition ({{{1}}}):

{{{2}}}