Really, what's the point of proving the obvious in this case?