Using an online translator to translate "Then it can be demonstrated that the statement is true."

I get **"Entonces se puede demostrar que la afirmación es verdadera."**

In the English translation it is optional whether you say "it can be demonstrated" or "one can demonstrate".

Is this the same construct as the one covered in this lesson? If so, should there be examples of it above? If not, is there a lesson that covers this one?

Thank you!