wlog


@