theorem :: XPRIMES2:2571

canceled;