ados theorem