Wait — this suggests non-integer. Let's resolve with integer assumption. Try substitution.