theorem7.2