{a*b==a^2-b^2}