>>947
気になったのは、
「線型空間 V と W が同型であるならば、 dim V = dim W である。」
を証明する必要があるかどうかということなんです。