theorem :: XPRIMES2:2688

canceled;