[Rough Rock 023] 证明