Deductive Proving Technique