theorem :: XPRIMES2:2805

canceled;