theorem :: XPRIMES2:1573

canceled;