PROVE that k+1 case is true:
Divide both sides by 3
Compare this last found inequality with the ASSUMPTION statement inequality. as you can compare in the corresponding positions in each statement.
The latter highlighted-in-green statement is also then true if the assumption
statement is true.
PROVED.