[Rough Rock 012] 证明