theorem :: XPRIMES2:5470

canceled;