A=プログラム
B＝数学
当てはめてみると
プログラムのが数学より本質に近い　←→（深い理解(プログラム)→深い理解(数学)）∧¬（深い理解（数学）→深い理解（プログラム）)
なるほど、>>553にとっては数学よりプログラムのほうが本質にちかいのか・・・