[judk]

That's a converse, not a corollary. Converse isn't always true, corollary is.

[thirdtruck]

You are correct. Thank you. :)