Describir: Theorems for Electrical Circuits