| 1 | | What to show is easy to show! |
|---|
| 1 | [math(W.L.O.G.,\ T.F.A.E.)] |
|---|
| 2 | [math(N.t.:\ W.T.S.\implies E.T.S)] |
|---|
| 3 | [math(i.e.\ R.T.S.:\ pf\&sol)] |
|---|
| 4 | [math(c.f.:\ cond.;)] |
|---|
| 5 | [math(e.g.)\ def.\ A=B)] |
|---|
| 6 | [math(rmk.\ s.t.\ A=C)] |
|---|
| 7 | [math(Q.E.D.)] |
|---|
| 2 | 8 | |
|---|
| 3 | 9 | [include(틀:취소선, 내용=(..?))] |
|---|