Fermat Right-Triangle Area Theorem