The difference of two renewal processes level crossing and the infimum