 One main consequence of such representation is the possibility of a simple constructive proof of the  deficiency one theorem.
<meaning-changed>  One main consequence of such representation is the possibility of a simple constructive proof of the  deficiency one theorem.
 One main consequence of such representation is the possibility of a simple constructive proof of the well-known deficiency one theorem.