theorem :: XPRIMES2:7328

canceled;