theorem :: XPRIMES2:4472

canceled;