経験上 AB→Aは無い