theorem :: XPRIMES2:5878

canceled;