theorem :: XPRIMES2:3825

canceled;