then the length of its diagonal is