theorem :: XPRIMES2:2908

canceled;