Removed a redundant sentence in the Mahajan-Vinay section