Measuring the Relative Complexity of Mathematical Constructions and Theorems