theorem :: XPRIMES2:1673

canceled;