A method of mathematical proof where a statement is divided into several exhaustive cases. The statement is then proven to…