Так, стоп. В определении пучка ведь не прямые суммы, а произведения! Даааа... Неужели в этом дело.

Вот при этом и конечность.

А у вас прямые суммы написаны в определении пучка.
И доказательство получается неполным.