theorem :: XPRIMES2:6087

canceled;