(-1)x(-1) = +1
を証明するのに分配法則を使うのってコレなんかズルくないですか?
証明しようとしている事よりも高度な事を無条件に認めるように迫っているように感じます