theorem :: XPRIMES2:4673

canceled;