Gauss–Ostrogradsky theorem