I think it might be interesting to prove this formula or to find it! The proof isn't as hard as it looks.