Twierdzenie japońskie