japanese theorem