a влечёт b