>>24
というより1だけ冗長やな
最初に背反じゃないって指摘した通り、背反さえあればいい