RX−3は形式名にすぎない、RX−7から