We will be proving the following theorem:

$$ test $$