Diferencovatelné variety - Lencová, Marie (1971)