Do not use proof when reducing mod p per default (should not be necc. anyway!)