theorem :: XPRIMES2:6578

canceled;