theorem :: XPRIMES2:6812

canceled;