Humans can have type A, B, AB, or O blood. A and B are codominant to each other and dominant to O. If a woman with type A blood and a man with type B blood have a baby with type O blood, was the woman necessarily unfaithful (cheated)?