WLOG, or the misery of the unordered pair (EWD1223)
暂无分享,去创建一个
The above describes what WLOG (= Without Loss Of Generality) is usually about. In principle—as shown above—the technique is perfectly sound, but the problem is that in practice it is only too often appealed to by the mere “WLOG we can assume r.xn” without formulating, let alone proving (5)