>>93
√(-1) が -X のでなく
X の剰余類を表すような
√ が、いつ、どのように定義されたか？が
スレタイにつながる問題点なんだが。