Oka's syzygy