Talk:Unique homomorphic extension theorem