show/hide this revision's text 1 [made Community Wiki]

Writing a proof as a chain of expressions connected by equals signs whether they are appropriate or not.