理想是用来实现的翻译成英语为什么都要用is to be