theorem :: XPRIMES2:5410

canceled;