Не могу сказать, что всё неправильно, но доказательства нет.
Почему F(x+y)=F(x)+F(y)? Это у Вас в первой строчке написано, но ведь именно это и надо проверять!