Mamy daną funkcję f, która przyporządkowuje każdemu argumentowi (w tym przypadku liczbie naturalnej), resztę z dzielenia tego argumentu przez 4. 

Mamy daną również funkcję g, która przyporządkowuje