x+y=4 and sqrt(6^2+x^2) = sqrt(4^2+y^2)