for n, m, k being non zero Nat st k = n lcm m holds
support (ppf k) = (support (ppf n)) \/ (support (ppf m))