theorem :: DICKSON:2

canceled;