Expressing general knowledge

known to be is known to be has been demonstrated