APG denigrates "corollary sniping." I express disagreement. My view is, solve problems, whichever way you can. Sometimes, you solve it in a way which makes it look easy, including sometimes by using somebody else's theorem. Other times, you solve it in a way which makes it look hard, and makes you look clever and/or more original. Sorry, I do not regard the latter as necessarily better. Especially to the degree APG seems to imply, which seems to be that it's practically unacceptable to use somebody else's theorem if the way you used it, is a lot easier than his proof of it. I say: That's just nuts. However, yes: in the particular case APG had in mind about Heawood unit distance graph, I would indeed contend this was a C.Snipe - or should have been.