(x^2+y^2)(z^2+t^2)=`(xz+yt)^2`+`(xz-yt)^2`

By Isabelle

(x^2+y^2)(z^2+t^2)=`(xz+yt)^2`+`(xz-yt)^2`




Viết một bình luận