Forgotten corollary.