[Crystal 001] 证明