První věta o dimenzi