Bott–Duffin theorem

GPTKB entity