I + f + f' is an even integer, where I is an integer, f and f' are proper positive
fractions (0 < f, f' < 1). Then the integer I is an odd number.
I + f - f' is an even integer, where I is an integer, f and f' are proper positive