diffeologically

It is known that the only finite-dimensional diffeological vector space that admits a diffeologically smooth scalar product is the standard space of appropriate dimension.