theorem7.8