Utilizando la notación moderna, se puede enunciar de la siguiente manera: