theorem :: XPRIMES1:1478

canceled;