added dok-vo for 3.1 theorem