theorem :: XPRIMES2:4478

canceled;