>>490
定義から
l = a_p
m = a_q
となる、p,qが存在して
l-m = a_p - a_q
となるから。