theorem :: XPRIMES2:7748

canceled;