kog theorem