% SZS status Theorem for INTEGRABLE__POINT__SPI
% SZS output start Proof for INTEGRABLE__POINT__SPI
  file('i/f/integral/INTEGRABLE__POINT__SPIKE',ah4s_integrals_DINTu_u_POINTu_u_SPIKE)).
  file('i/f/integral/INTEGRABLE__POINT__SPIKE',ch4s_integrals_INTEGRABLEu_u_POINTu_u_SPIKE)).
  file('i/f/integral/INTEGRABLE__POINT__SPIKE',ah4s_integrals_integrableu_u_def)).
% SZS output end Proof for INTEGRABLE__POINT__SPI
