Связанные определения/теоремы/следствия/утверждения: