[Rough Rock 011] 证明