theorem :: XPRIMES2:1572

canceled;