Linear Algebra: Showing that an eigenbasis makes for good coordinate systems