7.7 证明