theorem :: XPRIMES2:6174

canceled;