theorem :: XPRIMES2:5472

canceled;