Общая теорема стокса об интегрировании внешних форм

Пусть на ориентируемом многообразии размерности заданы ориентируемое -мерное подмногообразие и дифференциальная форма степени класса (). Тогда, если граница подмногообразия положительно ориентирована, то

где обозначает внешний дифференциал формы .