Splitting of coherent idempotents

An answer to a question of Martin Escardo.
++

I like short files.