Talk:Universal embedding theorem