master as of 10-Aug-2014
comments
import mathbox theorems
more integrals
more rearrangement