Aa·Ab=(Aa)'Ab
=a'A'Ab
=a'(A'A)b
=a'Eb
=a'b
=a·b