theorem :: XPRIMES2:1821

canceled;