PhD Theorem Development Mathematics