The reduction method, I

As a further development of the well-known algorithms for deriving theorems of the method of Lyapunov vector functions, this paper suggests the reduction method as a logical technique for formulating hypotheses.