4. Como o termo médio da justiça é tomado em cada uma de suas espécies.

Conforme já foi explicado, o injusto é o desigual, tanto segundo o mais como segundo o menos. Ora, onde quer que haja o mais e o menos, lá será necessário tomar o igual. Mas o igual é o termo médio entre o mais e o menos. De onde que, onde se encontra a igualdade, lá se encontra o termo médio. Portanto, como o justo é um certo igual, o justo é um termo médio.

O justo que consiste em comutação tem em comum com o justo que consiste em distribuição que o justo é o igual e o injusto o desigual. Diferem entre si, porém, na medida em que o igual na justiça comutativa é tomado segundo uma proporcionalidade aritmética, enquanto que o justo na justiça distributiva é tomado segundo uma proporcionalidade geométrica.