AC<BCのときしか成り立たない?