homAA homAB FA FB A B g Fg ThemapidA2homAAhastheuniversalpropertythateveryg2homABistheuniquememberofhomABsuchthatgidAgThisisatriviality ID: 156543