theorem :: XPRIMES1:5470

canceled;