Direct proof