theorem :: XPRIMES2:6156

canceled;