有限の整域は体