διορυχθῆναι