>>252 は、たぶん、今、「標準的同型」が、なんであるのか、
その定義を、うｐするために、タイピング中だと思う。