Доведено, що переставна інверсна півгрупа без нуля, півґратка ідемпотентів якої має скінченну довжину, є групою.