Ja, das ist richtig, in dem Fall aber nur falls a=0 ist. Die Aussage soll aber für alle b gelten, also auch für die b mit |b|>1, da stimmt sie nicht. Deshalb müssen noch Einschränkungen an b formuliert werden. Falls es die nicht gibt, ist das Gegenbeispiel hinreichend dafür, dass die Aussage nicht allgemein gilt.