Satz von Lagrange

GPTKB entity