theorem :: XPRIMES2:6054

canceled;