• ∀(a, b): ∫a db=a • b
  • abs(v(a, b))=sqrt(a^(2) + b^(2))