theorem :: XPRIMES2:2788

canceled;