x moyenne sub-contraire à l'arithmétique entre 1 & y.

Pour y=2,
x est irrationnel

Pour y=6,
x=4.

Boèce, Institution arithmétique