Showing that an eigenbasis makes for good coordinate systems