friedbergナンバリングは極小元である(pour-el:1964)。