Plato established an important method which has been passed down through the ages. That is that, when one has a problem that has already been solved, one can work backwards from it until a statement can be reached of which the veracity has already been determined. In other words, a method of attaining proofs. In which of his works was this method established?