けん＝圏を自明と思うのは、基礎論に弱い数学者が
よくやる誤りの一つ。