Finiteness theorem for a proper morphism