{
  "proof": {
    "maps": "D_k,a(x)=k*x+(1\u2212k)*a",
    "same_slope": "both compositions have slope k*l",
    "constant_difference": "(k\u22121)*(l\u22121)*(a\u2212b)",
    "scope": "same-side linear coordinates; diagnostic mixed routes"
  },
  "left_constant": "-684576/529",
  "right_constant": "-2072068/1587",
  "difference": "18340/1587"
}