Solutions of the examples in Higher algebra