A implies b

математика из a следует b; a влечёт b,