Math extension (CATS)

$$a^2+b^2=c^2$$