theorem :: DYNKIN:2

canceled;