Once this has been done, it may be necessary (and it is necessary, in our case) to make an assumption, which may later lead to a contradiction – meaning simply that our initial assumption was false.
完成后，可能需要(在這里是必須的)做一個假定，它可能在后來導致一個矛盾，簡單的意味著最初的假定是錯的。