Deduction from conditional net conclusion and deduction from conditional net conclusion.
Each branch has a different proof method.
For example, infinite descent parity analysis is often used in number theory.
Triangulation is also used in geometry.
The famous inequality method is used to prove inequality and maximum.
The more basic method is direct proof or disproof.