Envoyer par SMS: An algorithm for verifying some norm identities in inner-product spaces