How would I prove that for all elements of a set
{n | n ∈ ℕ ∧ n > 7}
(all natural numbers greater than 7), there are multiples of 3 and 5 which, when added up, are equal to that element of the set?
A := {n | n ∈ ℕ ∧ n > 7}
∀ n ∈ A: n = x*3 + y*5
I do understand why this is true:
8 = 1*3 + 1*5
9 = 3*3 + 0*5
...
15 = 0*3 + 3*5
and this pattern repeats once 16 is reached, as 8 can be replaced with 1*3 + 1*5, so I'd basically have to add 1 to x and y for every time 8 fits in n.
I am however not sure how I can formulate this mathematically correct.
Thanks in advance, CrushedPixel