Added condition in the first theorem