theorem :: XPRIMES2:2547

canceled;