In step 5 (last step) of Needham Schroeder protocol Alice encrypts Bob's nonce minus 1 with the session key generated by KDC and sends it to Bob. Do I have to simply subtract one from the nonce generated by Bob? For instance if the nonce generated by Bob is 10 then does Alice simply have to encrypt 9 with the session key and send it across?