徹底的に理解するとは、数学書に書かれている全議論を
　Aかつ(AならばB)、従って、B
　(AならばB)、従って、(¬Bならば¬A)
　任意のxに対してA(x)、従って、∀xA(x)
　(Aならば矛盾)、従って、¬A
　…
と言った具合に、徹底的に論理的な流れを読みほぐして行くこと