Granularity Analysis For Tutoring Mathematical Proofs by M.R.G. Schiller