theorem :: XPRIMES2:2573

canceled;