[Rough Marble 001] 证明