>>438
自明な有限群なら両立する。