Saks-Henstock lemma

GPTKB entity