-- 
. . . The proofs are technical in nature and provides no real understanding.