for A being non empty transitive with_units AltCatStr holds (id A) " = id A