Homomorfizm_modułu_zerowego does not exist