Un razonamiento análogo funciona para p en B.