On ornithine and proline synthesis in Escherichia coli