TeX source:
c^2=a^2-b^2