WLOG

Without Loss of Generality