sqrt(2) * sqrt(2) == (1/3 + 1/3 + 1/3) * 2