來峽谷 我教你

<R,+> is an abelian group
<R,*> is associative
Distributive laws holds