for X, Y being RealLinearSpace
for f being Function of X,Y st f is homogeneous holds
not f " {(0. Y)} is empty