The correspondence by the ring of integers corresponds to a metabelian commutative free automorphic loop of rank two. We derive some equational properties of this loop and prove, that the elementary theory free n-nilpotent ...