This article has been written in honor of the late professor emeritus Kazuo Tanne, who passed away on 4 March 2023 [...].