Lipoma of trigeminal nerve in a patient with severe trigeminal neuralgia.