theorem :: XPRIMES2:2806

canceled;