A rigorous model study of the adaptive dynamics of Mendelian diploids