Estas dos definiciones no son exactamente equivalentes; una es un reescalado trivial de la otra: