Proof by Introduction

MATHS Samul , Rory this Byrnes , NOTM1K3 , A-A-RON 1726502400000