125はユークリッドの公準を公理と言い換えることが
数学的に正しいと思っているらしい