theorem Th2: :: MAZURULM:2

Cl DYADIC = [.0,1.]