theorem7.3