[Rough Rock 020] 证明