Don't ignore mycomplexity.sty.
Adds mycomplexity.sty.
Adds application of theorem.