If correct, these theorems reinforce the specifier's understanding of the specification and its relationship with the underlying problem domain.
Jei teoremos teisingos, jos pagerina specifikuotojo supratimą apie specifikacijas ir jų ryšį su problemos sritimi.