theorem Th2: :: MAZURULM:2
Cl DYADIC = [.0,1.]