Fundamental group, presentations, free differential calculus Knots and 3-manifolds mathematics