Correct. And the private encryption key was derived because during encryption sony didnt use a random number at every encryption, but a constant instead. So a few math operations with the public key and tada, it you have the private key