theorem :: XPRIMES2:5731

canceled;