856びぼーろく; う～ん

 Abelianでは証明できたがnonAbelianでは証明できない。正確に言えばどうやってやればよいのかが分からない。最悪、後退してAbelianで示して終わりにするか...。