. "For, if p is a factor of 2OT-1, m is a multiple of e, whence e equals the prime m." . . . .