File:Kawasaki's theorem.jpg