Archived tweet #430 from the @leastfixedpoint Twitter Archive

"Just derive a weak right inverse function and then apply the Third Homomorphism Theorem. See--it's easy!" http://bit.ly/14ibaX