heitzberg theorem