it follows

З цього випливає

з цього виходить