If is a bounded, equicontinuous set, then
KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL