If Ab Then Acbc Property