← Direct proof