9個以下ではできない証明ってどんな?