theorem :: XPRIMES2:2770

canceled;