rule of specialization

Мат. правило специализации