harukis theorem