A statement that follows readily from a Theorem