>>512
基底による同型かどうか