((ttxtt);(U" x Q"),(p x p);(V" x R")) ((tt;U") x (tt;Q"),(P;V") x (p;R"))~ ((tt;U)x(tt;V),(p;Q)x(P;R)) by (*) = ((ttxtt);(U xV),(px p);(Qx R)) = (tt x tt, ...
確定! 回上一頁