theorem :: XPRIMES1:4478

canceled;