へたれな証明になるものを自明という。