[[y^2] mod 3] = [[x^3] mod 2]