Having a positive real number z, we can construct a sequence:
P(z) = { [z], [2z], [3z], ... }
where [a] is the floor integer part of a real number a.
Find the necessary and sufficient conditions for real numbers x,y
of factorizing the set of all positive integers by the sequences P(x) and
P(y)
Note: Sets A, B factorize the set C, if the union of A and B
is C and the intersection of A and B is the empty set.