A = Point({3, 1})
a = Vector((0, 0), A)
B = Point({-1, 3})
b = Vector((0, 0), B)
ϕ = Angle(a, b)
c = Vector((1, 3))