for a being Integer holds |.(Oddity a).| = Oddity |.a.|