15.6²=12.7373²+a²