Lemma 1 vs sympy: 476 (n, f, p) instances, mismatches 0
wrong formula (C(n,i) a_{n-i}): mismatches 311  -> DETECTED
RESULT: LEMMA 1 CONFIRMED
