information about Mathematical proof field