I know we don't use it. Stating theorems also serves to document things, and IMHO this one is informative. It also costs us nothing.