for a being Real holds |[a]| /. 1 = a