teorema dominic