warings theorem