Diamond is harder than corundum