Stronger

From CS2800 wiki

A claim P is stronger than another claim Q is another way of saying "P implies Q". By proving a stronger result P, we prove the original claim Q and some other things as well.