for a being Element of INT.Ring holds absint . a = |.a.|