Дефернциальная уравнение

Доказать, что для любого множества M: M^2 ○ M^2 = M^2
○ — символ композиции;

Знаю, что M×M = M^2

Получается нужно доказать, что (M×M) ○ (M×M) = (M×M)

Докажем, что M^2 ○ M^2 ⊆ M^2

(x, x) Є [(M×M) ○ (M×M)] ⇔ (Ǝy) [(x, y) Є (M×M) & (y, x) Є (M×M)] ⇔

(Ǝy) [(x Є M) & (y Є M) & (y Є M) & (x Є M)] ⇔

(Ǝy)…

Здравствуйте. Необходимо вычислить интеграл I рода, т.е. длину дуги L.
Постарался написать своё решение как можно понятней. Подскажите, пожалуйста, что можно сделать далее.

Дано:
∫отL [y^2/xdl], где L-дуга параболы y^2=2x, соединяющая точки A (1;√2) и B (2;2)

Решение:
∫отL [y^2/xdl]=∫от1до2 [2x/x×√(1+1/2x)dx]=2∫от1до2 [√(1+1/2x)dx]=...

...далее зделал замену:
{1+1/2x=t^2;
x=1/(2(t^2-1));
dx=-tdt/(t^2-1)^2;
t1=√1,5;
t2=√1,25}
и…