A = Intersect(xAxis, yAxis)
B = (1, 0)
f = Ray(A, B)
C = Point(yAxis)
g = Ray(A, C)
K = Point(f)
F = Point(g)
K_1: ((3 / 5 * x(K)), 0)
F_1: (0, (2 / 3 * y(F)))
h = OrthogonalLine(K, f)
i = OrthogonalLine(K, f)
j = OrthogonalLine(K_1, f)
k = OrthogonalLine(F_1, g)
l = OrthogonalLine(F, g)
m: y = x
D = Intersect(j, k)
a = IsInteger(x(K_1))
b = IsInteger(y(F_1))
c: a ∧ b
d: x(K_1) ≟ y(F_1)