State the assumption necessary to start an indirect proof of the statement.
m∠M > m∠N