Betrachte mal in F2,24
M=224−1,E=1,x=M⋅2E=225−2
Existieren dann ganze Zahlen N, F s.d.
x=N⋅16F,165≤∣N∣<166
? x ist nicht durch 16 teilbar (M ist ungerade und somit enthält x nur einmal den Primfaktor 2), also müsste dann schonmal F≤0 gelten. D.h.
16−F≥1
insbesondere dann also
x≤x⋅16−F=N
bzw. mit x eingesetzt:
166≤225−2≤N
Für keine gültige Wahl von F können wir N im gewünschten Bereich wählen. x kann daher nicht in F16,6 liegen.
⟹F2,24⊆F16,6