из a следует b