theorem7.1