A property entailed by another requires no independent demonstration, but medieval theologians like ...