Category:Product of Semigroup Element with Right Inverse is Idempotent