rescue operations are proving difficult.prove可以用进行时吗?翻译时怎么都不