theorem :: FUZZY_8:4

for a, b, c, x being Real holds |.((b * ((a - x) - a)) / c).| = |.((b * ((a + x) - a)) / c).|