theorem :: XPRIMES2:6526

canceled;