交代代数や行列式の方が先験的。