siegels theorem