(
→
a
+
→
b
)
∘
(
→
a
+
→
b
)
=
→
c
∘
→
c