theorem :: XPRIMES2:3572

canceled;