Misalkan submanifold- berorientasi dan sebuah bentuk- yang terdefinisi pada persekitaran , dengan yang kompak. (a) Jika untuk satu parametrisasi langsung, tetapkanlah
— dengan ruas kanannya berupa integral Lebesgue atas (Bab 11) bagi koefisien milik , yang kontinu dengan tumpuan kompak. (b) Secara umum, pilihlah berhingga banyak parametrisasi langsung yang menyelimuti kompak beserta sebuah partisi kesatuan yang subordinat padanya (Lema 21.20), lalu tetapkan , dengan setiap sukunya dihitung lewat (a). Untuk sebuah kurva (dengan ) yang diparametrikan oleh kita tulis , tanpa menuntut keinjektifan.