theorem :: XPRIMES2:1541

canceled;