theorem :: XPRIMES2:2776

canceled;