4 ms·

This is actually a valid proof technique with finite cases. This is known as a Proof by Exhaustion.