ઔપચારિક રિજ્રેટનું ઉદાહરણ