👤

{x € Z, 2 pe x-3 € Z}