Collaborations between Kiyoshi Itô and Tsuneo Seto