kawasakis theorem