Item 0.2.4.b.

This is true, no matter whether 13 is my favorite number or not. Any implication with a true conclusion is true.