theorem :: XPRIMES2:7806

canceled;