theorem :: XPRIMES2:6573

canceled;