theorem :: XPRIMES2:1758

canceled;