$ATA 中的任何上升都是共軛，除非另有證明

從另一個..