Sqrt[13]-Sqrt[7]