Rainkovs theorem