goellnitzs theorem