B Method

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Statement

!(n,m).(n:NATURAL& m:NATURAL => (n*n=2*(m*m)<=>(n=0&m=0)))