Was the reduction in Shor's algorithm originally discovered by Shor?

cstheory.stackexchange.com