Let . This is the -th lyer of the cyclotomic -extension of . Let be the class number of . Let be a prime number and the exact power of 3 dividing . Put
where denotes the greatest integer not exceeding . The author proves that if does not divide , then does not divide for any positive integer . As a corollary, if then does not divide for any positive integer .