theorem :: XPRIMES2:6887

canceled;