I felt bad for Gongshow after his first round BOTB loss, stopped by his house

[GODPARTICLE]

what you have is a simple system of linear equations for 4 coordinate vectors and the student is showing through geometric rank how the theta angles that form the null space are congruent because the the vector space is a simple Euclidian dot product that forms an orthogonal (possibly even orthonormal) basis, probably discovered using the Grahm Schmidt process on simple eigenvectors that form a diagonizable matrix