De-Morgan's Theorem in Boolean Algebra