== Problem with the proof og the converse... == 

 When proving the converse you are using that there is no integer between n and n+1. The problem is that the standard proof of this use well-ordering.