Gausss theorem