theorem :: XPRIMES2:2572

canceled;