Потенциально простые справа конечные полугруппы

Доказано, что в конечной полугруппе, если каждый элемент делится справа на любой другой элемент в потенциальном смысле, то каждый элемент делится на каждый справа и в обычном смысле.