X.37 - Prove that if two medial straight lines commensurable in square only and containing a rational rectangle are added together, the whole is irrational; let such a straight line be called a first bimedial straight line.