theorem
mathematical theorem that gives sufficient a condition for permuting limits in multiple limits