a implyies b

Мат. из a следует b