theorem :: XPRIMES2:6150

canceled;