-*-=+から体の定義が導ける
http://science4.2ch.net/test/read.cgi/math/1140269499/588