theorem :: XPRIMES2:9673

canceled;