Circuit theorems