>>769
（a,b）->c ならばa->（b,c）である
ってこと？
感覚的にはわかるんスけど、そう読み替えてしまっていいもななのかな、、