Banach Fixed-Point Theorem I heard about this when learning about flow matching https://www.youtube.com/watch?v=DDq_pIfHqLs