Talk:Freyd-Mitchell embedding theorem