Proving theorem for infinite computation fixed #76, fixed #77, fixed #78, fixed #80