That's the general style of the book, but further along the way it has problems that require proving statements by referring to the properties or definitions of the actual structures involved (vector spaces).