Deleted superfluous theorem