>>709
任意の集合なのに"+"って定義されてるのか?

>>710
yについての一次式なんだから、犯れることは限られてるだろ?