direct proof