直角三角形において、短い辺が12、斜辺が13の場合、長い辺の長さは？