👤

B = { X/x € Z ^ X z 7}
B= {​