Law of Syllogism.

If a natural number ends in 0, then it is divisible by 10. If a natural number is divisible by 10, then it is divisible by 5. ​