theorem :: XPRIMES2:1748

canceled;