martelli's proof fixed