Is a conditional proof a kind of indirect proof?