本数検と本単検