theorem :: XPRIMES2:2557

canceled;