[math-fun] Correction Re: Villarceau circles