定理を正当化するために公理から証明する行為と
定理に基づいて計算する行為が区別できない奴には、
数学は無理。