“Indirect proof, also known as proof by assuming the opposite, is commonly employed in mathematics to establish the truth of a statement through disproving its negation.”