finished dmul derivation, edited Introduction and Weak