theorem :: XPRIMES2:2816

canceled;