理论以实践为基础,反过来又服务于实践,用英语怎么说?