長い証明