for a, b, c, d being Real st a + (b * <i>) = c + (d * <i>) holds
( a = c & b = d )