👤

[ (×ER₁ x ² = 4 ) => (\x€№₁ x ₂0)]¹