koenigs theorem