मान लीजिये कि अभाज्य संख्याओं का समुच्चयों है और S = `{t | 2^(t) - 1 "एक अभाज्य संख्या है।"}` सिद्ध कीजिये कि `S sub P`.