[math-fun] Stupid GR question