[math-fun] Proof or idea for proof needed