اگه n بر p^2 بخشپذیر باشه a = n/p+1 عضو S میشه پس n خالی از مربعه.
اگه n-1 عضو S باشه n زوجه.
اگه n = n' * 2p اونوقت از دو عدد n'(p-1)+1 و 2n'(p-1)+1 حداقل یکی بر p بخشپذیر نیست
که همون عضو S میشه و اگه n'>1 هر دو تای اینا کوچیکتر از n-1 میشن که تناقضه.
از اونجایی که 2 جواب مساله نیست اگه چنین عددی وجود داشته باشه دو برابر یه عدد اوله.