As any mathematician knows the difficult part is not to write the proof but to found it.