Дело в том, что у теоремы Арцела есть много родственных утверждений(о компактности в Lp, о слабой компактности), которые тоже имело бы смысл перечислить в контексте теоремы Арцела. Тогда может стоит, создать новую статью, чтонибудь типа "теорема о компактности", и сделать?