Por lo tanto, B debe ser verdadero: