theorem :: XPRIMES2:1952

canceled;