Follows from
Redirect to:
Logical consequence