Gauss–Bodenstein theorem

GPTKB entity